Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
61	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
62	LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:42 Model theory Interpretation Substitution Compactness theorem Linear temporal logic Differential forms on a Riemann surface
63	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
64	A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2009-07-30 04:03:12 Philosophy Logic Abstraction Philosophical logic Axiom Constructible universe Epistemology A priori and a posteriori Linear temporal logic
65	Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013 Add to Reading List Source URL: anna.fi.muni.cz Language: English - Date: 2013-01-17 12:35:21 Software Model checking Computing Linear temporal logic Temporal logic Bauch LLVM Parallel computing Formal methods Model checkers
66	A DAPTIVE S UBMODULAR M AXIMIZATION IN B ANDIT S ETTING V ICTOR G ABILLON , B RANISLAV K VETON , Z HENG W EN , B RIAN E RIKSSON , S. M UTHUKRISHNAN Our approach: Mimic the greedy policy π while learning P (Φ). Add to Reading List Source URL: victorgabillon.nfshost.com Language: English - Date: 2013-12-03 06:27:42 Mathematics Mathematical analysis Algebra Distribution Number theory operator Linear temporal logic
67	On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2007-04-26 11:13:50 Quantum mechanics Position operator De BroglieBohm theory Laws of science Computability theory Linear temporal logic Redescending M-estimator
68	Transition systems and modal logic The linear time temporal logic LTL Branching time temporal logics Add to Reading List Source URL: hylocore.ruc.dk Language: English - Date: 2013-05-29 03:25:23
69	: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and Add to Reading List Source URL: www2.docm.mmu.ac.uk Language: English - Date: 2013-01-29 06:42:57
70	Curry-Howard for GUIs: classical linear linear temporal logic (work in progress!) Steve Zdancewic Jennifer Paykin Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-07-21 03:25:55